structure S =
struct
  eqtype t (= contag)
end
